jade.content.schema
Class HigherOrderPredicateSchema

java.lang.Object
  |
  +--jade.content.schema.ObjectSchema
        |
        +--jade.content.schema.ContentElementSchema
              |
              +--jade.content.schema.PropositionSchema
                    |
                    +--jade.content.schema.HigherOrderPredicateSchema

public class HigherOrderPredicateSchema

extends PropositionSchema

Author:

Federico Bergenti - Universita` di Parma

Fields inherited from class jade.content.schema.PropositionSchema

BASE_NAME

Fields inherited from class jade.content.schema.ContentElementSchema

BASE_NAME

Fields inherited from class jade.content.schema.ObjectSchema

MANDATORY, OPTIONAL

Constructor Summary

HigherOrderPredicateSchema(java.lang.String name)
Constructor

Method Summary

void	add(java.lang.String name, PropositionSchema slotSchema) Adds an argument schema.
void	add(java.lang.String name, PropositionSchema slotSchema, int cardinality) Adds an argument schema.
void	add(java.lang.String name, TermSchema slotSchema) Adds an argument schema.
void	add(java.lang.String name, TermSchema slotSchema, int cardinality) Adds an argument schema.
AbsObject	newInstance() Creates a new instance.

Methods inherited from class jade.content.schema.PropositionSchema

getBaseSchema

Methods inherited from class jade.content.schema.ObjectSchema

addBaseSchema, addElement, addElement, getNames, getSchema, getTypeName, isAttribute, isMandatory

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HigherOrderPredicateSchema

public HigherOrderPredicateSchema(java.lang.String name)

Constructor

Parameters:

name -

Method Detail

add

public void add(java.lang.String name,
                PropositionSchema slotSchema)

Adds an argument schema.

Parameters:

name - name of the argument.

slotSchema - schema to add.

add

public void add(java.lang.String name,
                PropositionSchema slotSchema,
                int cardinality)

Adds an argument schema.

Parameters:

name - name of the argument.

slotSchema - schema to add.

cardinality - cardinality of the argument, i.e., optional or mandatory.

add

public void add(java.lang.String name,
                TermSchema slotSchema)

Adds an argument schema.

Parameters:

name - name of the argument.

slotSchema - schema to add.

add

public void add(java.lang.String name,
                TermSchema slotSchema,
                int cardinality)

Adds an argument schema.

Parameters:

name - name of the argument.

slotSchema - schema to add.

cardinality - cardinality of the argument, i.e., mandatory or optional.

newInstance

public AbsObject newInstance()

Creates a new instance.

Overrides:

newInstance in class PropositionSchema

Returns:

the new instance.